6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japón). 11-14 septiembre 2017
Resumen:
We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.
DOI: 
https://doi.org/10.1007/978-3-662-55665-8_2
Publicado en: , pp: 17-32
Fecha de publicación: 24-ago-2017
Cita:
A. Baltag, A. Occhipinti Liberman, "Evidence logics with relational evidence", presentado en 6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo, Japón, 11-14 septiembre 2017, pp. 17-32, doi: 10.1007/978-3-662-55665-8_2
IIT-17-279C
